Workflow temporal verification for monitoring parallel business processes
نویسندگان
چکیده
منابع مشابه
Workflow temporal verification for monitoring parallel business processes
Workflow temporal verification is conducted to guarantee on-time completion, which is one of the most important QoS (Quality of Service) dimensions for business processes running in the cloud. However, as today’s business systems often need to handle a large number of concurrent customer requests, conventional response-time based process monitoring strategies conducted in a one-by-one fashion c...
متن کاملProduct-Based Workflow Design for Monitoring of Collaborative Business Processes
Monitoring of cross-organizational processes requires the definition and implementation of monitoring processes that can deliver the right information to the right party in the collaboration. Monitoring processes should account for the temporal and aggregation dependencies among the monitoring information made available by the set of collaborating parties. We solve the problem of designing moni...
متن کاملBusiness Processes Verification with Temporal Answer Set Programming
The paper provides a framework for the specification and verification of business processes, based on a temporal extension of answer set programming (ASP). The framework allows to capture fluent annotations as well as data awareness in a uniform way. It allows for a declarative specification of business process but also for a direct encoding of processes specified in conventional workflow langu...
متن کاملWorkflow Models Enhanced with Process Algebra Verification for Industrial Business Processes
This paper addresses the problems of modeling and verification of complex industrial production lines. The paper proposes a methodology for building business models, organized on layers of increasing complexity, from production line elementary machines and sensors to complex business workflows. The resulted models could be translated and executed by any workflow execution engine. For workflow v...
متن کاملVerification of Business Processes for Web Services
The Business Process Execution Language for Web Services (BPEL4WS or simply BPEL) is a recently developed language, which is used to specify interactions between web services. Among its features it allows specification of concurrent behavior. Erroneous specification can lead to such problems as deadlock. In our research we focus on the concurrency mechanism in BPEL. Our main goal is to analyze ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Software: Evolution and Process
سال: 2016
ISSN: 2047-7473,2047-7481
DOI: 10.1002/smr.1761